First-order logic - PDFSEARCH.IO - Document Search Engine

First-order logic
Results: 1172

#	Item
691	Fred Sommers on the Logic of Natural Language Add to Reading List Source URL: www.ontologyasia.com Language: English - Date: 2015-02-16 06:04:14 Traditional logic Classical logic Term logic First-order logic Gottlob Frege Syllogism Mathematical logic Function Square of opposition Logic Philosophical logic Predicate logic
692	Strict Identity with No Overlap Achille C. Varzi Department of Philosophy, Columbia University (New York) (Final version published in Studia Logica[removed]): 371–[removed]It is natural to think that a standard, Kripke-s Add to Reading List Source URL: www.columbia.edu Language: English - Date: 2006-05-19 17:38:20 Mathematics First-order logic Counterpart theory Accessibility relation Naming and Necessity Possible world Function Saul Kripke Kripke semantics Logic Mathematical logic Modal logic
693	An Extensible Toolkit for Computational Semantics Dan Garrette Ewan Klein October 3, 2009 Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2015-01-12 20:53:04 Formal languages Semantics Predicate logic Theoretical computer science Model theory Discourse representation theory First-order logic Earley parser Prover9 Logic Mathematics Science
694	Two Views of the Logic of Plurals and a Reduction of One to the Other Nino B. Cocchiarella Indiana University Abstract There are di¤erent views of the logic of plurals that are now in circulation, two of which we will c Add to Reading List Source URL: www.ontologymirror.com Language: English - Date: 2013-12-29 04:17:01 Mathematics First-order logic Free logic Predicate Function Mereology Grammatical number Singular they Plural Logic Mathematical logic Predicate logic
695	Phil 2440 Chapter 5: Predicate Logic Symbolizations To discuss today: Atomic sentences in predicate logic Quantifiers Some important kinds of sentences Add to Reading List Source URL: home.earthlink.net Language: English - Date: 2006-06-13 09:51:03 Classical logic Quantification Universal quantification First-order logic Definite description Generalization Atomic formula FO Categorical proposition Logic Predicate logic Mathematical logic
696	On Logical Relativity Achille C. Varzi Department of Philosophy, Columbia University (Published in Philosophical Issues[removed]), 197–219) Add to Reading List Source URL: www.columbia.edu Language: English - Date: 2002-12-13 09:12:20 Predicate logic Logical syntax Model theory Semantics Interpretation First-order logic Alfred Tarski Truth Entailment Logic Philosophy Philosophical logic
697	Contingent Identity Wolfgang Schwarz Final version, forthcoming in Philosophy Compass Abstract. It is widely held that if an object a is identical (or non-identical) to an object b, then it is necessary that a is identic Add to Reading List Source URL: www.umsu.de Language: English Philosophical logic Modal logic Saul Kripke Identity De dicto and de re First-order logic Accessibility relation Possible world Entailment Logic Mathematical logic Philosophy
698	Phil[removed]Course Requirements, What is logic? To discuss today: About the class: Some general course information Who should take this class? Add to Reading List Source URL: home.earthlink.net Language: English - Date: 2006-06-13 09:51:01 Predicate logic Binary operations Boolean algebra Logical connective First-order logic Entailment Truth table Argument Atomic formula Logic Propositional calculus Logical syntax
699	THE TRUTH ON PREDICATES AND CONNECTIVES JOHANNES STERN In his rich “The Truth Predicate vs. the Truth Connective. On taking connectives seriously.” Kevin Mulligan [14] starts an inquiry into the logical form of truth Add to Reading List Source URL: www.philosophie.ch Language: English - Date: 2011-09-23 13:34:26 Predicate logic Logical syntax Mathematical logic Predicate Interpretation First-order logic Proposition Modal logic Redundancy theory of truth Logic Propositional calculus Philosophical logic
700	PHIL V3411/ G4415 SYMBOLIC LOGIC FALL 2011 Add to Reading List Source URL: www.columbia.edu Language: English - Date: 2013-12-12 23:14:19 First-order logic Quantification Propositional calculus Logic Mathematical logic Predicate logic

UPDATE